The pirate-based logic of Rust shared references
ais523.me.ukยท1dยท
โš™๏ธTOML Parsers
RustGPT: A pure-Rust transformer LLM built from scratch
dev.toยท6hยท
Discuss: DEV
๐Ÿ—๏ธCranelift
Ubuntu Integrates Rust uutils to Replace GNU Coreutils for Memory Safety
webpronews.comยท1h
๐Ÿฆ€MIR Optimization
Semantic Dictionary Encoding
falvotech.comยท4hยท
Discuss: Hacker News
๐Ÿ—‚๏ธType Indexing
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.ioยท21hยท
๐ŸงฉConstraint Solvers
Second attempt at learning rust
reddit.comยท1dยท
Discuss: r/rust
๐Ÿ”ชProgram Slicing
Why some agentic AI developers are moving code from Python to Rust
developers.redhat.comยท12h
โšกInterpreter Optimization
Balance between refactoring and inheritance in your code
github.comยท7hยท
Discuss: Hacker News
๐ŸงชCompiler Testing
Epoch Raises $1.2M for Building a Solver Coordination Layer
globenewswire.comยท2h
๐Ÿ“ฎMessage Queues
Christopher Allen: Moonbit developers are lying to you
bitemyapp.comยท1dยท
๐Ÿฆ€MIR Optimization
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.comยท10h
๐ŸชขRope Data Structures
Embedded async debugging and inspect-embassy
tweedegolf.nlยท19hยท
Discuss: r/rust
๐Ÿ›Interactive Debuggers
Introducing the Constexpr Debugger
blog.jetbrains.comยท11hยท
๐Ÿ”Debugging Compilers
Choosing Rust for LLM-generated code
runmat.orgยท3dยท
Discuss: Hacker News
๐Ÿš‚Cranelift IR
Rust + Flutter: How to Build Fast, Safe, Cross-Platform Mobile Apps
dev.toยท1dยท
Discuss: DEV
๐Ÿš‚Cranelift Backend
Comparing transitive dependency version resolution in Rust and Java
blog.frankel.chยท23hยท
Discuss: r/rust
๐Ÿ“ฆPackage Managers
Announcing datalit: A macro to generate fluent, readable static binary data
reddit.comยท22hยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
A (Nearly) Branchless RESP Request Parser
kevinmontrose.comยท7h
๐Ÿ”งError Recovery
A Slotted Hash Cons for Alpha Invariance
philipzucker.comยท44mยท
Discuss: Hacker News
๐Ÿ”—Lexical Scoping
MiniRust
github.comยท2dยท
Discuss: Hacker News
๐Ÿฆ€MIR Optimization